1. AI approaches to the complexity of legal systems :
پدیدآورنده: Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor, Serena Villata (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Information storage and retrieval systems-- Law, Congresses.,Law-- Methodology-- Automation, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer programming-- software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information storage and retrieval systems-- Law.,Law-- Methodology-- Automation.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
K213


2. AI*IA 2018 -- advances in artificial intelligence :
پدیدآورنده: Chiara Ghidini, Bernardo Magnini, Andrea Passerini, Paolo Traverso (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Artificial intelligence.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- System Administration-- Storage & Retrieval.,Computers-- User Interfaces.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,User interface design & usability.
رده :
Q334


3. Advances in information systems development :
پدیدآورنده: Nearchos Paspallis [and 5 others], editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Information resources-- Development, Congresses.,Information resources management, Congresses.,Information storage and retrieval systems, Congresses.,System design, Congresses.,Business mathematics & systems.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information architecture.,Information resources management.,Information retrieval.,Information storage and retrieval systems.,Information technology: general issues.,System design.,User interface design & usability.
رده :
QA76
.
9
.
S88


4. COMPSTAT 2004 - Proceedings in Computational Statistics
پدیدآورنده: edited by Jaromir Antoch.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Information storage and retrieval systems.,Mathematical statistics.,Statistics.

5. CONPAR 81 :
پدیدآورنده: edited by Wolfgang Händler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique)

6. Case-based reasoning research and development :
پدیدآورنده: Michael T. Cox, Peter Funk, Shahina Begum (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Case-based reasoning, Congresses.,Artificial Intelligence (incl. Robotics).,Computer Appl. in Administrative Data Processing.,Information Storage and Retrieval.,Mathematical Logic and Formal Languages.,Special Purpose and Application-Based Systems.,User Interfaces and Human Computer Interaction.,Artificial intelligence.,Case-based reasoning.,Computers-- Data Processing.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- System Administration-- Storage & Retrieval.,Computers-- User Interfaces.,Expert systems-- knowledge-based systems.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,User interface design & usability.
رده :
Q338
.
8


7. Digital noise monitoring of defect origin /
پدیدآورنده: Telman Aliev.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Defect correction methods (Numerical analysis),Electronic noise-- Mathematical models.,Information storage and retrieval systems-- Materials-- Defects.,Signal detection.,Defect correction methods (Numerical analysis),Defect correction methods (Numerical analysis),Electronic noise-- Mathematical models.,Electronic noise-- Mathematical models.,Information storage and retrieval systems-- Materials-- Defects.,Ingénierie.,Signal detection.,Signal detection.
رده :
TK7867
.
5
.
A45
2007eb


8. Exploring the early digital /
پدیدآورنده: Thomas Haigh, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer systems-- History, Congresses.,Computers, Congresses.,Computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.
رده :
QA75
.
5
.
E96
2019


9. High performance networking, computing, and communication systems :
پدیدآورنده: Yanwen Wu (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: High performance computing, Congresses.
رده :
QA76
.
88
.
I24
2011


10. Information, Uncertainty and Fusion
پدیدآورنده: edited by Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Information storage and retrieval systems.,Logic, Symbolic and mathematical.,Mathematics.,Microeconomics.

11. Mathematical Foundations of Information Retrieval
پدیدآورنده: by Sándor Dominich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Humanities.,Information storage and retrieval systems.,Mathematics.

12. Mathematical knowledge management
پدیدآورنده: / Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Mathematics--Data processing--Congresses,Information storage and retrieval systems--Mathematics--Congresses,Automatic theorem proving--Congresses
رده :
QA
,
76
.
95
,.
I565
,
2003


13. Mathematical knowledge management :Second International Conference MKM 2003, Bertinoro, Italy, February 16-18, 2003, proceedings
پدیدآورنده: Andrea Asperti, Bruno Buchberger, James H. Davenport )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing -- Congresses ، Mathematics,Mathematics -- Congresses ، Information storage and retrieval systems,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2594


14. Mathematical knowledge management : Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004 : proceedings
پدیدآورنده: Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing -- Congresses ، Mathematics,Mathematics -- Congresses ، Information storage and retrieval systems,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
3119


15. Semantic technology :
پدیدآورنده: Ryutaro Ichise, Freddy Lecue, Takahiro Kawamura, Dongyan Zhao, Stephen Muggleton, Kouji Kozaki (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Data mining, Congresses.,Data warehousing, Congresses.,Linked data, Congresses.,Semantic computing, Congresses.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Speech & Audio Processing.,Computers-- System Administration-- Storage & Retrieval.,Data mining.,Data warehousing.,Information retrieval.,Linked data.,Mathematical theory of computation.,Mathematics-- Logic.,Natural language & machine translation.,Public administration.,Semantic computing.
رده :
QA76
.
5913


16. The geometry of information retrieval
پدیدآورنده: Van Rijsbergen, Cornelis Joost, 3491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science -- Mathematics,Mathematics ، Information storage and retrieval systems
رده :
QA
76
.
9
.
M35V26


17. The geometry of information retrieval
پدیدآورنده: Van Rijsbergen, C. J.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع: Mathematics ، Computer science,Mathematics ، Information storage and retrieval systems
رده :
QA
76
.
9
.
M35
V38


18. The geometry of information retrieval
پدیدآورنده: Van Rijsbergen, C. J.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science-- Mathematics,، Information storage and retrieval systems-- Mathematics
رده :
QA
76
.
9
.
M35
.
V38
2004


19. Understanding information systems
پدیدآورنده: / Lee Ratzan
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Information science,Information storage and retrieval systems,Computer science- Popular works,Mathematics- Popular works
رده :
Z665
.
R366
2004


20. Understanding information systems :
پدیدآورنده: Lee Ratzan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science, Popular works.,Information science.,Information storage and retrieval systems.,Mathematics, Popular works.,Informatique, Ouvrages de vulgarisation.,Mathématiques, Ouvrages de vulgarisation.,Sciences de l'information.,Systèmes d'information.,Bibliotheken.,Computer science.,Computer science.,Informatiesystemen.,Information science.,Information science.,Information storage and retrieval systems.,Information storage and retrieval systems.,LANGUAGE ARTS & DISCIPLINES-- Library & Information Science-- General.,Mathematics.,Mathematics.
رده :
Z665
.
R366
2004eb

